Date: Tue, 29 Mar 2005 10:20:48 +0900 From: gnn@freebsd.org To: Peter Sewell <Peter.Sewell@cl.cam.ac.uk> Cc: freebsd-net@freebsd.org Subject: Re: Rigorous specification for TCP, UDP, and Sockets Message-ID: <m2ekdzs0wf.wl%gnn@neville-neil.com> In-Reply-To: <E1DG04E-0001F2-00@mta1.cl.cam.ac.uk> References: <E1DG04E-0001F2-00@mta1.cl.cam.ac.uk>
next in thread | previous in thread | raw e-mail | index | archive | help
Hi Peter, Interesting paper and work. Are you plannning to share the tools as well? That's what I'd be most interested in seeing, basically the ability to turn your conformance tests into regression tests. Thanks, George
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?m2ekdzs0wf.wl%gnn>